#include<stdio.h>
int main()
{
    int n1, n2;
	double d;
	char c1, c2, c3;
	scanf("%d %c%lf%c%c%d", &n1, &c1, &d, &c2, &c3, &n2);
	printf("%d    %c  %.1lf%c%c %d", n1, c1, d, c2, c3, n2);
	return 0;
}
